Nuprl Definition : f2f+Req 11,40
f2f+Req(f2f+) == f2f+.1 
latex

Definitionst.1
FDL editor aliasesf2f+Req

origin